2621. Verifying concurrent processes using temporal logic
Author: Hailpern, Brent Tzion, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
129
2622. Verifying temporal properties of systems
Author: / Julian Charles Bradfield,Bradfield
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving,Petrinests,Verification ( Logic )
Classification :
QA
76
.
9
.
A96B73
1992
2623. Visual reasoning with diagrams
Author: Amirouch Moktefi, Sun-Joo Shin, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic diagrams,Philosophy,Reasoning
Classification :
BC199
.
A26
.
M384
2013
2624. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2625. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2626. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
2627. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A37
2005
2628. WOPPLOT 86 Parallel Processing:
Author: edited by Jörg D. Becker, Ignaz Eisele.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Processor Architectures
Classification :
QA76
.
6
E358
1987
2629. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: edited by J.D. Becker and I. Eisele
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
253
2630. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: WOPPLOT 68, )6891, Neubiberg, Germany(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
253
2631. Web-Age Information Management
Author: \ Xiaokui Xiao Zhenjie Zhang (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Databases Management,پایگاههای اطلاعاتی, -- Congresses, -- کنگرهها, -- مدیریت,a03,a03,Computer science.,علوم کامپیوتر
Classification :
QA
76
.
9
.
D3W4
2015
E-Book
,
2632. Web Information Systems Engineering \U+2013\ WISE 2013
Author: edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Data mining.,Software engineering.
2633. Web Reasoning and Rule Systems
Author: \ Balder ten Cate , Alessandra Mileo (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگرهها ,برنامهنویسی مبتنی بر قواعد -- کنگره ها ,برنامهنویسی منطقی -- کنگرهها
Classification :
TK
5105
.
88815
.
W4
2015
E-Book
,
2634. Web Services and Formal Methods :
Author: edited by Maurice H. Beek, Niels Lohmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
2635. Web and wireless geographical information systems :
Author: Miguel R. Luaces, Farid Karimipour (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
Classification :
G70
.
212
2636. Web reasoning and rule systems
Author: Markus Krötzsch, Umberto Straccia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
Classification :
TK5105
.
88815
.
R8
2012eb
2637. Web services foundations /
Author: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
Classification :
TK5105
.
88813
2638. Web services foundations
Author: Bouguettaya , Athman, Athman Bouguettaya; Quan Z Sheng; Florian Daniel; M Papazoglou
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Web services,، Service-oriented architecture )Computer science(,، Cloud computing
Classification :
TK
2639. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
2640. Who owns this text? :
Author: edited by Carol Peterson Haviland, Joan A. Mullin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Plagiarism
Classification :
PN167
.
W46
2009
